$\forall$$T$:Type, $L$:($T$ List), $R$:($T$$\rightarrow$$T$$\rightarrow$prop\{i:l\}). l{-}ordered($T$; $x$,$y$.$R$($x$,$y$); $L$) $\in$ prop\{i:l\}